ocr: Key Data Elements (e.g- Register Contents, Badi Instructions, CBRW) Memory Dump PREDIAGNOSS Beller Networks Parsor Symptom: colloctor: Flow Graph DIAGNOSIS and Symptoms Debugging Rules Symboi Table Probabilistie Analysis Logical Analysis *diagnostie inerence engne program transtation path refutaton syntactic ssoge analysls Dlagnosis, Explanation, Program Display DAACS SYSTEM ARCHITECTURE integrates heuristic and uncer- tain reasoning with logical analyses, The objective is to locate the source oflogic errors in assembler language programs.
